Nuprl Definition : f-round 11,40
f-round{i:l}(x; free; es; e) == f-rank{i:l}(x; free; es; e).1 
latex

Definitionst.1, f-rank{i:l}(x; free; es; e)
FDL editor aliasesf-round

origin